一階様相述語論理の機械的定理証明について (計算機科学の数学的基礎) (論文)
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/104028/1/0322-7.pdf
#論文
#様相論理
#論理学に関するアルゴリズム